Structural transformations: A development imperative
نویسندگان
چکیده
منابع مشابه
Imperative OCL Compiler Support for Model Transformations
Model-Driven Architecture (MDA) is a widely known software design approach, which is intended to support model-driven engineering of software systems with specifications expressed as models. Using the MDA methodology, system functionality may first be defined as a platform-independent model (PIM) through an appropriate modeling language. Then the PIM may be translated into one or more platform-...
متن کاملProving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
Distributed programs are often formulated in popular functional frameworks like MapReduce, Spark and Thrill, but writing efficient algorithms for such frameworks is usually a non-trivial task. As the costs of running faulty algorithms at scale can be severe, it is highly desirable to verify their correctness. We propose to employ existing imperative reference implementations as specifications f...
متن کاملInterpreting Imperative Programming Languages in Extensible Stylesheet Language Transformations (XSLT)
We use XSLT to implement an interpreter for a simple XML based imperative programming language called “XIM.” Our work shows that not only is it theoretically possible to use XSLT as a programming language processor, but also that this is practically feasible. This has potential application in the area of delivering executable content over the Internet.
متن کاملReasoning about program transformations - imperative programming and flow of data
New updated! The latest book from a very famous author finally comes out. Book of reasoning about program transformations imperative programming and flow of data 1st edition, as an amazing reference becomes what you need to get. What's for is this book? Are you still thinking for what the book is? Well, this is what you probably will get. You should have made proper choices for your better life...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ekonomika preduzeca
سال: 2012
ISSN: 0353-443X
DOI: 10.5937/ekopre1202079j